x86/time: support 32-bit wide ACPI PM timer
authorJan Beulich <jbeulich@suse.com>
Thu, 4 Aug 2016 08:03:28 +0000 (10:03 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 4 Aug 2016 08:03:28 +0000 (10:03 +0200)
commit2e4c6154d4809c5066a63e30c64c3018665bb975
tree7395fa9537caf97ce010d0eb2a91b72333a7bb26
parent93340297802b8e743b6ce66b0bc366af1ad51f39
x86/time: support 32-bit wide ACPI PM timer

I have no idea why we didn't do so from the beginning.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Tested-by: Dario Faggioli <dario.faggioli@citrix.com>
Tested-by: Joao Martins <joao.m.martins@oracle.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/acpi/boot.c
xen/arch/x86/time.c
xen/include/asm-x86/acpi.h